The files have already been OCR'ed, as such, you should access the original PDF version. The original OCR used was more accurate anyway, so that smaller file should also give you the best text..
Document Compression, Storage and Archiving
For print-disabled users
on July 29, 2010